while(TRUE) {
    r = wait()
    execute()
}